IMoG -- a methodology for modeling future microelectronic innovations

[Context and motivation] The automotive industry is currently undergoing a fundamental transformation towards software defined vehicles. The automotive market of the future demands a higher level of automation, electrification of the power train, and individually configurable comfort functions. [Question/problem] These demands pose a challenge to the automotive development cycle, because they introduce complexity by larger and not yet well explored design spaces that are difficult to manage. [Principal ideas/results] To cope with these challenges, the main players along the value chain have an increased interest in collaborating and aligning their development efforts along joint roadmaps. Roadmap development can be viewed as a field of requirements engineering with the goal to capture product aspects on an appropriate level of abstraction to speed up investment decisions, reduce communication overhead and parallelize development activities, while complying with competition laws. [Contribution] In this paper, we present a refinement of the "Innovation Modeling Grid" (IMoG), which encompasses a methodology, a process and a proposed notation to support joint analysis of development roadmaps. IMoG is focused on the automotive domain, yet there are clear potentials for other applications.Comment: 15 pages, 7 figure

Towards Safe Dev and Ops for Automated Driving Functions

An introduction to scenario- and simulation-based verification and validation of automated driving functions with an emphasis on Traffic Sequence Charts (TSCs) as a specification formalism for requirements, operational design domain (ODD) aspects, and (classes of) test cases and an outlook to TSC monitoring at runtime

Spotlight Abstraction of Agents and Areas

We present "spotlight abstraction" as a generic abstraction technique for the analysis of systems comprising an unbounded number of communicating agents. The abstraction principle is heterogeneous in the sense that the behaviour of a finite number of agents is preserved while the others are only abstractly represented. The precision of the abstraction can be tuned by an iterative procedure based on the analysis of counterexamples. Going beyond existing work, we show how to use the spotlight principle for analysing systems where the physical position of agents is relevant. To this end, we put the spotlight on areas rather than on fixed sets of agents

High-Throughput Protein Expression Using a Combination of Ligation-Independent Cloning (LIC) and Infrared Fluorescent Protein (IFP) Detection

Protein expression in heterologous hosts for functional studies is a cumbersome effort. Here, we report a superior platform for parallel protein expression in vivo and in vitro. The platform combines highly efficient ligation-independent cloning (LIC) with instantaneous detection of expressed proteins through N- or C-terminal fusions to infrared fluorescent protein (IFP). For each open reading frame, only two PCR fragments are generated (with three PCR primers) and inserted by LIC into ten expression vectors suitable for protein expression in microbial hosts, including Escherichia coli, Kluyveromyces lactis, Pichia pastoris, the protozoon Leishmania tarentolae, and an in vitro transcription/translation system. Accumulation of IFP-fusion proteins is detected by infrared imaging of living cells or crude protein extracts directly after SDS-PAGE without additional processing. We successfully employed the LIC-IFP platform for in vivo and in vitro expression of ten plant and fungal proteins, including transcription factors and enzymes. Using the IFP reporter, we additionally established facile methods for the visualisation of protein-protein interactions and the detection of DNA-transcription factor interactions in microtiter and gel-free format. We conclude that IFP represents an excellent reporter for high-throughput protein expression and analysis, which can be easily extended to numerous other expression hosts using the setup reported here

IMoG - a methodology for modeling future microelectronic innovations

[Context and motivation] The automotive industry is currently undergoing a fundamental transformation towards software defined vehicles. The automotive market of the future demands a higher level of automation, electrification of the power train, and individually configurable comfort functions. [Question/problem] These demands pose a challenge to the automotive development cycle, because they introduce complexity by larger and not yet well explored design spaces that are difficult to manage. [Principal ideas/results] To cope with these challenges, the main players along the value chain have an increased interest in collaborating and aligning their development efforts along joint roadmaps. Roadmap development can be viewed as a field of requirements engineering with the goal to capture product aspects on an appropriate level of abstraction to speed up investment decisions, reduce communication overhead and parallelize development activities, while complying with competition laws. [Contribution] In this paper, we present a refinement of the "Innovation Modeling Grid" (IMoG), which encompasses a methodology, a process and a proposed notation to support joint analysis of development roadmaps. IMoG is focused on the automotive domain, yet there are clear potentials for other applications

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present a research preview regarding the validation of ADFs with respect to such requirements. We investigate the suitability of Traffic Sequence Charts (TSCs) for the formalization of such requirements and present a concept for monitoring system compliance during validation runs. We find TSCs, with their intuitive visual syntax over symbols from the traffic domain, to be a promising choice for the collaborative formalization of such requirements. For an example TSC, we describe the construction of a runtime monitor according to our novel concept that exploits the separation of spatial and temporal aspects in TSCs, and successfully apply the monitor on exemplary runs. The monitor continuously provides verdicts at runtime, which is particularly beneficial in ADF validation, where validation runs are expensive. The next open research questions concern the generalization of our monitor construction, the identification of the limits of TSC monitorability, and the investigation of the monitor's performance in practical applications. Perspectively, TSC runtime monitoring could provide a useful technique in other emerging application areas such as AI training, safeguarding ADFs during operation, and gathering meaningful traffic data in the field

Safety and clinical outcomes of rituximab therapy in patients with different autoimmune diseases: experience from a national registry (GRAID)

Introduction: Evidence from a number of open-label, uncontrolled studies has suggested that rituximab may benefit patients with autoimmune diseases who are refractory to standard-of-care. The objective of this study was to evaluate the safety and clinical outcomes of rituximab in several standard-of-care-refractory autoimmune diseases (within rheumatology, nephrology, dermatology and neurology) other than rheumatoid arthritis or non-Hodgkin's lymphoma in a real-life clinical setting. Methods: Patients who received rituximab having shown an inadequate response to standard-of-care had their safety and clinical outcomes data retrospectively analysed as part of the German Registry of Autoimmune Diseases. The main outcome measures were safety and clinical response, as judged at the discretion of the investigators. Results: A total of 370 patients (299 patient-years) with various autoimmune diseases (23.0% with systemic lupus erythematosus, 15.7% antineutrophil cytoplasmic antibody-associated granulomatous vasculitides, 15.1% multiple sclerosis and 10.0% pemphigus) from 42 centres received a mean dose of 2,440 mg of rituximab over a median (range) of 194 (180 to 1,407) days. The overall rate of serious infections was 5.3 per 100 patient-years during rituximab therapy. Opportunistic infections were infrequent across the whole study population, and mostly occurred in patients with systemic lupus erythematosus. There were 11 deaths (3.0% of patients) after rituximab treatment (mean 11.6 months after first infusion, range 0.8 to 31.3 months), with most of the deaths caused by infections. Overall (n = 293), 13.3% of patients showed no response, 45.1% showed a partial response and 41.6% showed a complete response. Responses were also reflected by reduced use of glucocorticoids and various immunosuppressives during rituximab therapy and follow-up compared with before rituximab. Rituximab generally had a positive effect on patient well-being (physician's visual analogue scale; mean improvement from baseline of 12.1 mm). Conclusions: Data from this registry indicate that rituximab is a commonly employed, well-tolerated therapy with potential beneficial effects in standard of care-refractory autoimmune diseases, and support the results from other open-label, uncontrolled studies

Search for gravitational waves from low mass compact binary coalescence in LIGO's sixth science run and Virgo's science runs 2 and 3

We report on a search for gravitational waves from coalescing compact binaries using LIGO and Virgo observations between July 7, 2009, and October 20, 2010. We searched for signals from binaries with total mass between 2 and 25M⊙; this includes binary neutron stars, binary black holes, and binaries consisting of a black hole and neutron star. The detectors were sensitive to systems up to 40 Mpc distant for binary neutron stars, and further for higher mass systems. No gravitational-wave signals were detected. We report upper limits on the rate of compact binary coalescence as a function of total mass, including the results from previous LIGO and Virgo observations. The cumulative 90% confidence rate upper limits of the binary coalescence of binary neutron star, neutron star-black hole, and binary black hole systems are 1.3×10−4, 3.1×10−5, and 6.4×10−6  Mpc−3 yr−1, respectively. These upper limits are up to a factor 1.4 lower than previously derived limits. We also report on results from a blind injection challenge. © 2012 The American Physical Societ

All-sky search for periodic gravitational waves in the full S5 LIGO data

We report on an all-sky search for periodic gravitational waves in the frequency band 50–800 Hz and with the frequency time derivative in the range of 0 through −6×10−9  Hz/s. Such a signal could be produced by a nearby spinning and slightly nonaxisymmetric isolated neutron star in our Galaxy. After recent improvements in the search program that yielded a 10× increase in computational efficiency, we have searched in two years of data collected during LIGO’s fifth science run and have obtained the most sensitive all-sky upper limits on gravitational-wave strain to date. Near 150 Hz our upper limit on worst-case linearly polarized strain amplitude h0 is 1×10−24, while at the high end of our frequency range we achieve a worst-case upper limit of 3.8×10−24 for all polarizations and sky locations. These results constitute a factor of 2 improvement upon previously published data. A new detection pipeline utilizing a loosely coherent algorithm was able to follow up weaker outliers, increasing the volume of space where signals can be detected by a factor of 10, but has not revealed any gravitational-wave signals. The pipeline has been tested for robustness with respect to deviations from the model of an isolated neutron star, such as caused by a low-mass or long-period binary companion. © 2012 The American Physical Societ

Search for gravitational waves from compact binary coalescence in LIGO and Virgo data from S5 and VSR1

We report the results of the first search for gravitational waves from compact binary coalescence using data from the Laser Interferometer Gravitational-Wave Observatory and Virgo detectors. Five months of data were collected during the Laser Interferometer Gravitational-Wave Observatory’s S5 and Virgo’s VSR1 science runs. The search focused on signals from binary mergers with a total mass between 2 and 35M⊙. No gravitational waves are identified. The cumulative 90%-confidence upper limits on the rate of compact binary coalescence are calculated for nonspinning binary neutron stars, black hole-neutron star systems, and binary black holes to be 8.7×10−3  yr−1 L10−1, 2.2×10−3  yr−1 L10−1, and 4.4×10−4  yr−1 L10−1, respectively, where L10 is 1010 times the blue solar luminosity. These upper limits are compared with astrophysical expectations. © 2010 The American Physical Societ